Leveraging applications of formal methods (First international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004)Margaria, Tiziana; Steffen, Bernhard.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, VIII-196 p, isbn 978-3-540-48928-3Conference Proceedings

Models for contract conformanceRAJAMANI, Sriram K; REHOF, Jakob.Lecture notes in computer science. 2006, pp 181-196, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 16 p.Conference Paper

Classification and utilization of abstractions for optimizationQUINLAN, Dan; SCHORDAN, Markus; QING YI et al.Lecture notes in computer science. 2006, pp 57-73, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 17 p.Conference Paper

Modelling coordination in biological systemsCLARKE, Dave; COSTA, David; ARBAB, Farhad et al.Lecture notes in computer science. 2006, pp 9-25, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 17 p.Conference Paper

Using XML transformations for enterprise architecturesSTAM, A; JACOB, J; DE BOER, F. S et al.Lecture notes in computer science. 2006, pp 42-56, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 15 p.Conference Paper

Decreasing maintenance costs by introducing formal analysis of real-time behavior in industrial settingsWALL, Anders; ANDERSSON, Johan; NORSTRÖM, Christer et al.Lecture notes in computer science. 2006, pp 130-145, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 16 p.Conference Paper

On the correctness of transformations in compiler back-endsZIMMERMANN, Wolf.Lecture notes in computer science. 2006, pp 74-95, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 22 p.Conference Paper

Accurate theorem proving for program verificationCOOK, Byron; KROENING, Daniel; SHARYGINA, Natasha et al.Lecture notes in computer science. 2006, pp 96-114, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 19 p.Conference Paper

A rule markup language and its application to UMLJACOB, Joost.Lecture notes in computer science. 2006, pp 26-41, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 16 p.Conference Paper

Designing safe, reliable systems using scadeAZIZ ABDULLA, Parosh; DENEUX, Johann; STALMARCK, Gunnar et al.Lecture notes in computer science. 2006, pp 115-129, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 15 p.Conference Paper

Static timing analysis of real-time operating system codeSANDELL, Daniel; ERMEDAHL, Andreas; GUSTAFSSON, Jan et al.Lecture notes in computer science. 2006, pp 146-160, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 15 p.Conference Paper

A case study in domain-customized model checking for real-time component softwareHOOSIER, Matthew; DWYER, Matthew B; ROBBY et al.Lecture notes in computer science. 2006, pp 161-180, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 20 p.Conference Paper

Interaction and coordination of tools for structured dataARBAB, Farhad; KOK, Joost N.Lecture notes in computer science. 2006, pp 1-8, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 8 p.Conference Paper